Erik de Vink: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (8)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Formal Methods

Formal Methods

Springer International Publishing

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Рік:

2018

Мова:

english

Файл:

PDF, 25.57 MB

0 / 0

english, 2018

2

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 5.22 MB

0 / 0

english, 2004

3

Transactions on Computational Systems Biology XIII

Transactions on Computational Systems Biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 3.27 MB

0 / 0

english, 2011

4

Control Flow Semantics

Control Flow Semantics

Jaco de Bakker, Erik de Vink

Рік:

1996

Мова:

english

Файл:

DJVU, 4.85 MB

0 / 0

english, 1996

5

Control flow semantics

Control flow semantics

J W de Bakker, Erik de Vink

Рік:

1996

Мова:

english

Файл:

DJVU, 4.85 MB

0 / 0

english, 1996

6

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

Springer-Verlag Berlin Heidelberg

Oana Andrei, Muffy Calder (auth.), Corrado Priami, Ion Petre, Erik de Vink (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 9.38 MB

0 / 0

english, 2012

7

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 5.80 MB

0 / 0

english, 2013

8

Transactions on computational systems biology XIII

Transactions on computational systems biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 3.25 MB

0 / 0

english, 2011